• Ihr Warenkorb ist leer.
Zur Kasse

7 Ergebnisse.

Logische und Methodische Grundlagen der Entwicklung verteilter Systeme

Logische und Methodische Grundlagen der Entwicklung verte...

Broy, Manfred
Softwareentwicklung erfordert ¿ ausgehend von informellen Problemstellungen ¿ Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bewältigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Ansätze und Methoden entwickelt, die in zwei Bänden in einem einheitlichen Rahmen zusammengefasst und an Beispielen erläutert werden. Der erste Band widmet sich der Spezifikationen von Daten- und Rechenstrukturen, ...

54,50 CHF

Informatik

Informatik

Broy, Manfred
Diese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 faßt die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken für verteilte ...

45,90 CHF

Logische und Methodische Grundlagen der Programm- und Systementwicklung

Logische und Methodische Grundlagen der Programm- und Sys...

Broy, Manfred
Dieses Buch vermittelt Studierenden und Praktikern die Grundlagen der System- und ProgrammentwicklungIn diesem Buch stellen Manfred Broy und Alexander Malkis die wesentlichen Grundlagen und Methoden der Programmentwicklung vor. Die Autoren vermitteln Studierenden der Informatik und Praktikern aus dem Bereich Software-Engineering, wie sie grundlegende Aufgaben der Programmentwicklung auf wissenschaftlicher Basis verstehen und bewältigen. Sie fassen alle behandelten wissenschaftlichen Ansätze und Methoden ...

48,50 CHF

Einführung in die Softwaretechnik

Einführung in die Softwaretechnik

Broy, Manfred / Kuhrmann, Marco
Das Buch führt in die Grundlagen der Softwaretechnik ein. Hierbei liegt sein Fokus auf der systematischen und modellbasierten Software- und Systementwicklung. Die Autoren legen dabei besonderen Wert auf die gleichwertige Behandlung praktischer Aspekte und zugrunde liegender Theorien, was das Buch als Fach- und Lehrbuch gleichermaßen geeignet macht. Die Softwaretechnik wird im Rahmen eines systematischen Frameworks umfassen beschrieben. Ausgewählte und aufeinander ...

80,00 CHF

Informatik und Mathematik

Informatik und Mathematik

Broy, Manfred
Dieser Band dokumentiert ein Kolloquium mit dem Titel "Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik". Es fand im 14. Juni 1989 an der Bayerischen Akademie der Wissenschaften anläßlich des 65. Geburtstags von Herrn Prof. Dr. Dr. h.c. mult. Friedrich L. Bauer statt, dem die Informatik von Anfang an entscheidende Impulse verdankt. Die Beiträge spannen ein breites ...

98,00 CHF

Informatik. Eine grundlegende Einführung

Informatik. Eine grundlegende Einführung

Broy, Manfred
Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen verteilter Systeme und den zugrundeliegenden mathematischen Modellen werden elementare Beschreibungstechniken für Systeme, z.B. Petri-Netze und die Hoare'sche Notation für kommunizierende, sequentielle Programme, vorgestellt sowie die Programmierung parallel ablaufender Programme. Weiter werden typische Aspekte der systemnahen Programmierung wie Aufbau und Wirkungsweise von ...

67,00 CHF

Ergebnisse anzeigen für